Demonic semantics: using monotypes and residuals
نویسندگان
چکیده
منابع مشابه
Demonic semantics: using monotypes and residuals
Relations and relational operators can be used to define the semantics of programming languages. The operations ∨ and ◦ serve to give angelic semantics by defining a program to go right when there is a possibility to go right. On the other hand, the demonic operations and do the opposite: if there is a possibility to go wrong, a program whose semantics is given by these operators will go wrong;...
متن کاملDEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics
Maxwell’s Demon, ‘a being whose faculties are so sharpened that he can follow every molecule in its course’, has been the centre of much debate about its abilities to violate the second law of thermodynamics. Landauer’s hypothesis, that the Demon must erase its memory and incur a thermodynamic cost, has become the standard response to Maxwell’s dilemma, and its implications for the thermodynami...
متن کاملProbabilistic Demonic Refinement Algebra
We propose an abstract algebra for reasoning about probabilistic programs in a total-correctness framework. In contrast to probablisitic Kleene algebra it allows genuine reasoning about total correctness and in addition to Kleene star also has a strong iteration operator. We define operators that determine whether a program is enabled, has certain failure or does not have certain failure, respe...
متن کاملDemonic Operators and Monotype Factors
This paper tackles the problem of constructing a compact, point-free proof of the associativity of demonic composition of binary relations and its distributivity through demonic choice. In order to achieve this goal a deenition of demonic composition is proposed in which angelic composition is restricted by means of a so-called \monotype factor". Monotype factors are characterised by a Galois c...
متن کاملDemonic Testing of Concurrent Programs
Testing presents a daunting challenge for concurrent programs, as non-deterministic scheduling defeats reproducibility. The problem is even harder if, rather than testing entire systems, one tries to test individual components, for example to assess them for thread-safety. We present demonic testing, a technique combining the tangible results of unit testing with the rigour of formal rely-guara...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Mathematics and Mathematical Sciences
سال: 2004
ISSN: 0161-1712,1687-0425
DOI: 10.1155/s016117120420415x